Assumptions: finite coproducts, self-dual
Conclusions: finite products
Proof: This holds by self-duality.